$\forall$$a$, $b$:$\mathbb{Z}$, $E$:(\{$a$..$b$$^{-}$\}$\rightarrow\mathbb{Q}$). ($\forall$$j$:\{$a$..$b$$^{-}$\}. 0 $\leq$ $E$($j$)) $\Rightarrow$ ($\forall$$i$:\{$a$..$b$$^{-}$\}. $E$($i$) $\leq$ $\Sigma$$a$ $\leq$ $j$ $<$ $b$. $E$($j$))